/*
 * Formula.h
 *
 *  Created on: May 2, 2012
 *      Author: lorenzo
 */

#ifndef FORMULA_H_
#define FORMULA_H_

#include <vector>
#include "Clause.h"
#include "EvaluationReport.h"

class Formula {
public:
	Formula();
	virtual ~Formula();

	void addClause(Clause c);
	bool evaluate();
	EvaluationReport getEvaluationReport();


private:
	std::vector<Clause> clauses;
};

#endif /* FORMULA_H_ */
